rm -fr *.out *.bc klee*
clang -I /root/klee/include -emit-llvm -c -g -O0 -Xclang -disable-O0-optnone bin_search.c
klee --external-calls=all  bin_search.bc

gcc -I /root/klee/include   bin_search.c -lkleeRuntest
ls -1 klee-last/*.ktest | awk '{printf("echo \"----------------\"\n echo %s\n KTEST_FILE=%s ./a.out\n", $0, $0)}' | sh